csupdate(${\it from}$;${\it cmds}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$inr $<$${\it from}$, ${\it cmds}$$>$